workspaceThumbnails: Remove obsolete property

Since commit f55ff012394, the property has been replaced by
an adjustment.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1611>

diff --git a/js/ui/workspaceThumbnail.js b/js/ui/workspaceThumbnail.js
index 46de36fa47f0c386d7176b22a9d5e28cb261bd51..f74c8fecbec2901ffd796660664c623e2422eba0 100644 (file)
--- a/js/ui/workspaceThumbnail.js
+++ b/js/ui/workspaceThumbnail.js
@@ -607,10 +607,6 @@ var WorkspaceThumbnail = GObject.registerClass({
 
 var ThumbnailsBox = GObject.registerClass({
     Properties: {
-        'indicator-y': GObject.ParamSpec.double(
-            'indicator-y', 'indicator-y', 'indicator-y',
-            GObject.ParamFlags.READWRITE,
-            0, Infinity, 0),
         'scale': GObject.ParamSpec.double(
             'scale', 'scale', 'scale',
             GObject.ParamFlags.READWRITE,